SELECT sum(*) FROM src;
